Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

在英语课堂教学中培养学生的跨文化非语言交际能力

非语言交际传递了人们交际活动中的大部分信息，在人际交流中具有举足轻重的地位。本文通过四类非语言交际行为（即体态语、副语言、客体语和环境语）在英语课堂教学中出现的典型案例，阐释其所传递的跨文化信息，提出英语教师应当提高自己对英语文化环境下常见的非语言交际行为的把握，在课堂教学过程中，帮助学生在学习英语语言的同时，掌握英语文化环境下的非语言交际行为的准确含义，并以此加深对语言材料的理解，准确掌握有关文化背景，提高跨文化交际能力。     

甲B类液体全压力储罐消防设计问题研究

对沸点低于45℃的甲B类液体全压力储罐消防设计、审查过程中存在的问题进行了较为全面的分析,并针对这些问题提出了解决的方法,为进一步完善相关工程设计规范和有效地执行这些规范提供了实例,以期给同类工程提供有益借鉴.     

磁化等离子体对电磁波反射系数的计算分析

为了从理论上分析磁化等离子体对飞行器隐身的机理,采用等效输入阻抗方法计算金属平板前非均匀磁化等离子体层对垂直入射电磁波的功率反射系数,结果表明:电子数密度大小、入射波频率、等离子体碰撞频率和外磁场是功率反射系数的主要影响因素.电子数密度、等离子体碰撞频率取值必须合适,外加磁场才能明显降低等离子体对入射电磁波的功率反射系数.     

混合气体识别的响应等效性与瞬态信号正交分解模型

针对目前混合气体识别大多采用传感器稳态响应信号、基于线性混合假设或大量样本学习,而瞬态响应信号特征分析主要应用非正交分解的问题,提出一种基于响应等效性与瞬态信号正交分解的混合气体识别模型。分析金属氧化物半导体传感器对混合气体的响应特性,建立基于气体响应成分等效性假设的气体非线性混合模型,在此基础上,提出并应用一种新的正交基函数——扩展类Legendre正交基,对气体传感器瞬态响应信号进行分解;通过对正交分解系数与气体浓度的回归分析,验证二者之间的指数型关联关系,并以正交分解系数为特征参数,利用气体非线性等效混合模型对混合气体分解与辨识。实验结果表明,尽管这种混合气体识别模型仅用单一气体检测的先验知识,对混合气体的识别误差仍可达到15%以内。     

北斗GEO卫星用户算法的改进方法

针对北斗GEO用户算法需要进行5°倾角的坐标旋转处理这一过程,提出了采用经典广播星历参数用户算法直接解算北斗GEO卫星位置的改进方法,并同时给出了相应的基于第二类无奇点根数的广播星历拟合算法。该算法采用第二类无奇点轨道根数代替经典轨道根数,解决了由GEO轨道的小倾角特性引起的经典广播星历参数拟合过程中法化矩阵奇异的问题。从而避免了北斗GEO用户算法中坐标旋转处理过程,减少了GEO用户算法的计算步骤。仿真表明,提出的改进方法在卫星轨道拟合过程中与原算法精度相当;在卫星轨道外推过程中与原算法相比略有精度损失,但仍满足用户导航定位精度的需求。采用实际北斗GEO星历解算的轨道数据验证了改进算法的有效性。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

基于心理干预的高校班级教学管理模式的探索

所谓班级教学管理模式,是以教学班级为管理单元,以班主任对班级事务和工作全面负责为特征,以充分发挥学生的主体作为核心的管理形式,其实质是班主任负责制。本文是通过借鉴企业管理中的团队合作精神、企业文化的打造、企业中的竞争机制、奖惩机制等,在班级中创造和模拟企业情境,培养学生在学习上的竞争意识和团队协作精神,以适应未来企业和社会发展的需求,构建一种全新的班级教学管理模式。     

党对阶级阶层分析的价值判断

建国后党对中国社会结构的认识经历了从阶级到阶层的发展变化。党对中国社会结构认识的变化,是在总结对中国社会结构分析的经验教训的基础上,恢复了阶级阶层这两个范畴的本来面貌。我们应当正确地认识这一变化,澄清对阶级阶层的分析思路,这样才能正确看待新的社会阶层的社会属性,以便更充分地发挥他们在社会主义建设中的作用。     

Minimizing the makespan in open‐shop scheduling problems with a convex resource consumption function

We consider open‐shop scheduling problems where operation‐processing times are a convex decreasing function of a common limited nonrenewable resource. The scheduler's objective is to determine the optimal job sequence on each machine and the optimal resource allocation for each operation in order to minimize the makespan. We prove that this problem is NP‐hard, but for the special case of the two‐machine problem we provide an efficient optimization algorithm. We also provide a fully polynomial approximation scheme for solving the preemptive case. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006